5,655 research outputs found

    Defining Recursive Predicates in Graph Orders

    Full text link
    We study the first order theory of structures over graphs i.e. structures of the form (G,Ļ„\mathcal{G},\tau) where G\mathcal{G} is the set of all (isomorphism types of) finite undirected graphs and Ļ„\tau some vocabulary. We define the notion of a recursive predicate over graphs using Turing Machine recognizable string encodings of graphs. We also define the notion of an arithmetical relation over graphs using a total order ā‰¤t\leq_t on the set G\mathcal{G} such that (G,ā‰¤t\mathcal{G},\leq_t) is isomorphic to (N,ā‰¤\mathbb{N},\leq). We introduce the notion of a \textit{capable} structure over graphs, which is one satisfying the conditions : (1) definability of arithmetic, (2) definability of cardinality of a graph, and (3) definability of two particular graph predicates related to vertex labellings of graphs. We then show any capable structure can define every arithmetical predicate over graphs. As a corollary, any capable structure also defines every recursive graph relation. We identify capable structures which are expansions of graph orders, which are structures of the form (G,ā‰¤\mathcal{G},\leq) where ā‰¤\leq is a partial order. We show that the subgraph order i.e. (G,ā‰¤s\mathcal{G},\leq_s), induced subgraph order with one constant P3P_3 i.e. (G,ā‰¤i,P3\mathcal{G},\leq_i,P_3) and an expansion of the minor order for counting edges i.e. (G,ā‰¤m,sameSize(x,y)\mathcal{G},\leq_m,sameSize(x,y)) are capable structures. In the course of the proof, we show the definability of several natural graph theoretic predicates in the subgraph order which may be of independent interest. We discuss the implications of our results and connections to Descriptive Complexity

    Observation of a uniform temperature dependence in the electrical resistance across the structural phase transition in thin film vanadium oxide (VO2VO_{2})

    Full text link
    An electrical study of thin VO2VO_{2} films in the vicinity of the structural phase transition at 680C68^{0}C shows (a) that the electrical resistance RR follows log(R)log (R) āˆ\propto āˆ’T-T over the TT-range, 20<T<800C20 < T < 80 ^{0}C covering both sides of the structural transition, and (b) a history dependent hysteresis loop in RR upon thermal cycling. These features are attributed here to transport through a granular network.Comment: 3 pages, 3 color figure

    Entropic Test of Quantum Contextuality

    Full text link
    We study the contextuality of a three-level quantum system using classical conditional entropy of measurement outcomes. First, we analytically construct the minimal configuration of measurements required to reveal contextuality. Next, an entropic contextual inequality is formulated, analogous to the entropic Bell inequalities derived by Braunstein and Caves in [Phys. Rev. Lett. {\bf 61}, 662 (1988)], that must be satisfied by all non-contextual theories. We find optimal measurements for violation of this inequality. The approach is easily extendable to higher dimensional quantum systems and more measurements. Our theoretical findings can be verified in the laboratory with current technology.Comment: 4 pages, 4 figure

    Induced abortion potential among Indian women

    Get PDF
    Information on abortion is limited and inaccurate especially in the developing world, which has led to several speculations on the prevalence of abortion in this region. A rise in prevalence of abortion is mostly accounted for in terms of increase in the prevalence of induced abortions, which reflects on the reproductive health of women. With the growing concern for reproductive health of women, the study of abortion phenomenon has drawn serious attention of researchers world wide. In such circumstances, this is an attempt to assess the induced abortion potential among Indian women by utilising information on proportion of unwanted and ill-timed pregnancies obtained through National Family Health Survey, India.

    Concentration in Knowledge Output:A Case of Economics Journals

    Get PDF
    Journals moderate knowledge activity in economics. The activity of publishing article in professional journal forms significant part of knowledge output. Output of economics articles has been growing over the time. We examine an important question: Is there any case of institutional or location concentration in knowledge production? This paper analyses concentration indicators specific to economics journals and explores link between publication process and concentration. The analysis of various concentration measures present evidence for institutional-geographic-area-author concentration in Knowledge production in Economics. High concentration levels indicate possibility of institutional lock-in. The literature provides evidence for myopic refereeing, editorial favouritism and the presence of ā€˜lock-inā€™ effect. The achievement in journal publication is influenced by factors like institutional affiliation, propitious circumstances etc. Discussion carried out in this paper hints the possibility of causal link between unfair process and unfair outcome.Knowledge,Lotka's Law,Fourier Series
    • ā€¦
    corecore